منابع مشابه
Black Box Techniques for Debugging Unsatisfiable Concepts
Now that OWL is a W3C Recommendation, one can expect that a much wider community of users and developers will be exposed to the expressive description logic SHIF(D) and SHOIN(D) which are the basis of OWL-DL. These users and developers are likely not to have a lot of experience with knowledge representation (KR), much less logic-based KR, much less description logic based KR. For such people, h...
متن کاملBlack Box Debugging of Unsatisfiable Classes
Determining the cause of concept unsatisfiability in an ontology axiomatized in an expressive description logic is a difficult task. As the ontology grows larger and more complex, modelers may be driven to underconstrain their concepts in order to avoid problems. Part of the difficulty in correcting satisfiability bugs lies in the poverty of tool support – typically, reasoners only report that ...
متن کاملDebugging the Black-Box COMPAS Risk Assessment Instrument to Diagnose and Remediate Bias
The black-box Correctional Offender Management Profiling for Alternative Sanctions (COMPAS) criminal risk assessment instrument (RAI) is analyzed for confounding racial bias and a novel procedure is proposed for remediating bias from individual criminal risk predictions. A repeatable global versus local analysis motif is introduced in which global and local model behavior are compared to debug ...
متن کاملBlack-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. Application frameworks provide good examples of such enrichment. An OO framework typically provides a number of template methods that implement specific patterns of calls to hook methods. An application developer can cus...
متن کاملBlack-Box/Glass-Box Evaluation in Shiraz
The Shiraz project included an evaluation component: two ‘glass-box’ evaluations have been performed during the project as well as a black-box evaluation at the end of the project. The evaluations were based on the use of a bilingual tagged test corpus of 3000 sentences. Evaluation tools were developed in order to automate the evaluation process. The glass-box evaluations included the evaluatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Queue
سال: 2003
ISSN: 1542-7730,1542-7749
DOI: 10.1145/966789.966807